repairing a roof by overhauling its tiles